ReP USP - Resultado da busca

Artigo de periodico
Proteum / fsm: uma ferramenta de teste baseada na analise de mutantes para apoio a avaliacao de especificacoes em maquinas de estados finitos (1996)
Fabbri, S C P F; Maldonado, José Carlos
Source: Multiciencia. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F e MALDONADO, José Carlos. Proteum / fsm: uma ferramenta de teste baseada na analise de mutantes para apoio a avaliacao de especificacoes em maquinas de estados finitos. Multiciencia, v. 1 , n. 1 , p. 66-77, 1996Tradução . . Acesso em: 05 maio 2024.
APA
Fabbri, S. C. P. F., & Maldonado, J. C. (1996). Proteum / fsm: uma ferramenta de teste baseada na analise de mutantes para apoio a avaliacao de especificacoes em maquinas de estados finitos. Multiciencia, 1 ( 1 ), 66-77.
NLM
Fabbri SCPF, Maldonado JC. Proteum / fsm: uma ferramenta de teste baseada na analise de mutantes para apoio a avaliacao de especificacoes em maquinas de estados finitos. Multiciencia. 1996 ;1 ( 1 ): 66-77.[citado 2024 maio 05 ]
Vancouver
Fabbri SCPF, Maldonado JC. Proteum / fsm: uma ferramenta de teste baseada na analise de mutantes para apoio a avaliacao de especificacoes em maquinas de estados finitos. Multiciencia. 1996 ;1 ( 1 ): 66-77.[citado 2024 maio 05 ]
Trabalho de evento-resumo
Criterio da analise de mutantes na validacao de sistemas reativos (1996)
Yoiti, F T; Silva, F L V; Maldonado, José Carlos; Fabbri, S C P F
Source: [Resumos]. Conference titles: Simposio de Iniciacao Cientifica da Universidade de São Paulo. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
YOITI, F T et al. Criterio da analise de mutantes na validacao de sistemas reativos. 1996, Anais.. Sao Carlos: Icmsc-Usp, 1996. . Acesso em: 05 maio 2024.
APA
Yoiti, F. T., Silva, F. L. V., Maldonado, J. C., & Fabbri, S. C. P. F. (1996). Criterio da analise de mutantes na validacao de sistemas reativos. In [Resumos]. Sao Carlos: Icmsc-Usp.
NLM
Yoiti FT, Silva FLV, Maldonado JC, Fabbri SCPF. Criterio da analise de mutantes na validacao de sistemas reativos. [Resumos]. 1996 ;[citado 2024 maio 05 ]
Vancouver
Yoiti FT, Silva FLV, Maldonado JC, Fabbri SCPF. Criterio da analise de mutantes na validacao de sistemas reativos. [Resumos]. 1996 ;[citado 2024 maio 05 ]
Trabalho de evento
Mgaset - modulo de geracao de sequencias de teste (1995)
Nakazato, K K; Alexandrino, M; Maldonado, José Carlos; Fabbri, S C P F; Masiero, Paulo Cesar
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Mgaset - modulo de geracao de sequencias de teste. 1995, Anais.. Recife: Ufpe, 1995. . Acesso em: 05 maio 2024.
APA
Nakazato, K. K., Alexandrino, M., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1995). Mgaset - modulo de geracao de sequencias de teste. In Anais. Recife: Ufpe.
NLM
Nakazato KK, Alexandrino M, Maldonado JC, Fabbri SCPF, Masiero PC. Mgaset - modulo de geracao de sequencias de teste. Anais. 1995 ;[citado 2024 maio 05 ]
Vancouver
Nakazato KK, Alexandrino M, Maldonado JC, Fabbri SCPF, Masiero PC. Mgaset - modulo de geracao de sequencias de teste. Anais. 1995 ;[citado 2024 maio 05 ]
Trabalho de evento
Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes (1995)
Fabbri, S C P F; Maldonado, José Carlos; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. 1995, Anais.. Recife: Ufpe, 1995. . Acesso em: 05 maio 2024.
APA
Fabbri, S. C. P. F., Maldonado, J. C., Delamaro, M. E., & Masiero, P. C. (1995). Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. In Anais. Recife: Ufpe.
NLM
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. Anais. 1995 ;[citado 2024 maio 05 ]
Vancouver
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Proteum / sfm - uma ferramenta para apoiar a validacao de maquinas de estado finito pelo criterio analise de mutantes. Anais. 1995 ;[citado 2024 maio 05 ]
Trabalho de evento
Mutation analysis testing for finite state machines (1994)
Fabbri, S C P F; Maldonado, José Carlos; Delamaro, Márcio Eduardo ; Masiero, Paulo Cesar
Source: Proceedings. Conference titles: International Symposium on Software Reliability Engineering. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Mutation analysis testing for finite state machines. 1994, Anais.. Monterey: Ieee, 1994. . Acesso em: 05 maio 2024.
APA
Fabbri, S. C. P. F., Maldonado, J. C., Delamaro, M. E., & Masiero, P. C. (1994). Mutation analysis testing for finite state machines. In Proceedings. Monterey: Ieee.
NLM
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Mutation analysis testing for finite state machines. Proceedings. 1994 ;[citado 2024 maio 05 ]
Vancouver
Fabbri SCPF, Maldonado JC, Delamaro ME, Masiero PC. Mutation analysis testing for finite state machines. Proceedings. 1994 ;[citado 2024 maio 05 ]
Relatorio tecnico
Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste (1994)
Nakazato, K K; Maldonado, José Carlos; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf. Acesso em: 05 maio 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Propriedades de maquinas de estado finito relevantes para criterios de geracao de sequencias de teste [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/3cc5de8e-2b88-4c0a-aa51-2ffa9eab7311/RT_27.pdf
Trabalho de evento
Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes (1994)
Fabbri, S C P F; Delamaro, Márcio Eduardo ; Maldonado, José Carlos; Masiero, Paulo Cesar
Source: Anais. Conference titles: Simposio Brasileiro de Redes de Computadores. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 05 maio 2024.
APA
Fabbri, S. C. P. F., Delamaro, M. E., Maldonado, J. C., & Masiero, P. C. (1994). Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2024 maio 05 ]
Vancouver
Fabbri SCPF, Delamaro ME, Maldonado JC, Masiero PC. Proteum / fsm: especificacao de uma ferramenta para apoiar a avaliacao de maquina de estado finito pelo criterio analise de mutantes. Anais. 1994 ;[citado 2024 maio 05 ]
Trabalho de evento
Teste baseado em mutacao e qualidade de software (1994)
Delamaro, Márcio Eduardo ; Fabbri, S C P F; Maldonado, José Carlos; Masiero, Paulo Cesar
Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELAMARO, Márcio Eduardo et al. Teste baseado em mutacao e qualidade de software. 1994, Anais.. Curitiba: Sbc, 1994. . Acesso em: 05 maio 2024.
APA
Delamaro, M. E., Fabbri, S. C. P. F., Maldonado, J. C., & Masiero, P. C. (1994). Teste baseado em mutacao e qualidade de software. In . Curitiba: Sbc.
NLM
Delamaro ME, Fabbri SCPF, Maldonado JC, Masiero PC. Teste baseado em mutacao e qualidade de software. 1994 ;[citado 2024 maio 05 ]
Vancouver
Delamaro ME, Fabbri SCPF, Maldonado JC, Masiero PC. Teste baseado em mutacao e qualidade de software. 1994 ;[citado 2024 maio 05 ]
Relatorio tecnico
Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao (1994)
Nakazato, K K; Maldonado, José Carlos; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf. Acesso em: 05 maio 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Sequencias basicas de maquinas de estado finito: aspectos teoricos e de implementacao [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/39777db2-c4fc-4f5e-bb3d-259698739f98/Relatorio%20Tecnico_28_1994.pdf
Relatorio tecnico
Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito (1994)
Nakazato, K K; Maldonado, José Carlos; Fabbri, S C P F; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAZATO, K K et al. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf. Acesso em: 05 maio 2024. , 1994
APA
Nakazato, K. K., Maldonado, J. C., Fabbri, S. C. P. F., & Masiero, P. C. (1994). Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
NLM
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
Vancouver
Nakazato KK, Maldonado JC, Fabbri SCPF, Masiero PC. Aspectos teoricos e de implementacao de criterios de geracao de sequencias de teste baseados em maquinas de estado finito [Internet]. 1994 ;[citado 2024 maio 05 ] Available from: https://repositorio.usp.br/directbitstream/a5a802c8-1355-4ab8-9191-40a2b9c17f4e/Relatorio%20Tecnico_25_1994.pdf
Trabalho de evento
Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri (1994)
Fabbri, S C P F; Maldonado, José Carlos; Masiero, Paulo Cesar; Delamaro, Márcio Eduardo
Source: Anais. Conference titles: Simposio Brasileiro de Engenharia de Software. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FABBRI, S C P F et al. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. 1994, Anais.. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1994. . Acesso em: 05 maio 2024.
APA
Fabbri, S. C. P. F., Maldonado, J. C., Masiero, P. C., & Delamaro, M. E. (1994). Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. In Anais. Curitiba: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2024 maio 05 ]
Vancouver
Fabbri SCPF, Maldonado JC, Masiero PC, Delamaro ME. Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri. Anais. 1994 ;[citado 2024 maio 05 ]

USP Schools

ReP

Filtros

Authors